1. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
2. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
3. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
4. A concise introduction to mathematical logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
5. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2010
6. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2006
7. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
8. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
9. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
10. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
11. A profile of mathematical logic.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
12. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
پدیدآورنده : Hermes, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
13. Frege's lectures on logic :
پدیدآورنده : translated and edited with introductory essay by Erich H. Reck and Steve Awodey ; based on the German text, edited with introduction and annotations by Gottfried Gabriel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Frege, Gottlob,1848-1925.,Carnap, Rudolf,1891-1970.,Carnap, Rudolf,1891-1970.,Frege, Gottlob ,1848-1925.,Frege, Gottlob, 1848-1925,Frege, Gottlob.,Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik
رده :
B3245
.
F22
E52
2004
14. Fuzzy-Logik :
پدیدآورنده : von Gert Böhme.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.
15. Grenzen der Mathematik
پدیدآورنده : Dirk W. Hoffmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.
رده :
b
16. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.
رده :
BC135
.
V663
1967
17. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematische Logik.
رده :
BC135
.
V663
1959
18. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H4413
19. Introduction to mathematical logic
پدیدآورنده : / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
H553
20. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H4
